module/NumberTheory.hs